Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Royaume-Uni436
Hans Van Ditmarsch32
Royaume-Uni Sauf Hans Van Ditmarsch" 430
Hans Van Ditmarsch Sauf Royaume-Uni" 26
Royaume-Uni Et Hans Van Ditmarsch 6
Royaume-Uni Ou Hans Van Ditmarsch 462
Corpus24195
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 6.
Ident.Authors (with country if any)Title
000D45 Hans Van Ditmarsch [France] ; David Fernández Duque [Espagne] ; Wiebe Hoek [Royaume-Uni]On the definability of simulation and bisimulation in epistemic logic
000D56 Maduka Attamah [Royaume-Uni] ; Hans Van Ditmarsch [France] ; Davide Grossi [Royaume-Uni] ; Wiebe Hoek [Royaume-Uni]Knowledge and Gossip
000D91 Maduka Attamah [Royaume-Uni] ; Hans Van Ditmarsch [France] ; Davide Grossi [France] ; Wiebe Hoek [Royaume-Uni]A Framework for Epistemic Gossip Protocols
000E61 Hans Van Ditmarsch [France] ; Jie Fan [République populaire de Chine] ; Wiebe Hoek [Royaume-Uni] ; Petar Iliev [France]Some Exponential Lower Bounds on Formula-size in Modal Logic
001377 Hans Van Ditmarsch [France] ; Wiebe Hoek [Royaume-Uni] ; Ji Ruan [France]Connecting dynamic epistemic and temporal epistemic logics
001595 Giacomo Bonanno [États-Unis] ; Hans Van Ditmarsch [France] ; Wiebe Van Der Hoek [Royaume-Uni]Editorial Introduction to the Special Issue LOFT Sevilla

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022